equivalence of valuation

赋值的等价